Self-Stabilization by Local Checking and Global Reset (Extended Abstract)

نویسندگان

  • Baruch Awerbuch
  • Boaz Patt-Shamir
  • George Varghese
  • Shlomi Dolev
چکیده

We describe a method for transforming asynchronous network protocols into protocols that can sustain any transient fault, i.e., become self-stabilizing. We combine the known notion of local checking with a new notion of internal reset, and prove that given any self-stabilizing internal reset protocol, any locally-checkable protocol can be made self-stabilizing. Our proof is constructive in the sense that we provide explicit code. The method applies to many practical network problems, including spanning tree construction, topology update, and virtual circuit setup.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Global Stabilization of Attitude Dynamics: SDRE-based Control Laws

The State-Dependant Riccati Equation method has been frequently used to design suboptimal controllers applied to nonlinear dynamic systems. Different methods for local stability analysis of SDRE controlled systems of order greater than two such as the attitude dynamics of a general rigid body have been extended in literature; however, it is still difficult to show global stability properties of...

متن کامل

Self-stabilization of Byzantine Protocols

Awareness of the need for robustness in distributed systems increases as distributed systems become integral parts of day-to-day systems. Self-stabilizing while tolerating ongoing Byzantine faults are wishful properties of a distributed system. Many distributed tasks (e.g. clock synchronization) possess e cient non-stabilizing solutions tolerating Byzantine faults or conversely non-Byzantine bu...

متن کامل

The Local Detection Paradigm and itsApplications to Self Stabilization

A new paradigm for the design of self-stabilizing distributed algorithms, called local detection, is introduced. The essence of the paradigm is in de ning a local condition based on the state of a processor and its immediate neighborhood, such that the system is in a globally legal state if and only if the local condition is satis ed at all the nodes. In this work we also extend the model of se...

متن کامل

[hal-00828969, v1] Global asymptotic stabilization of some bilinear systems by hybrid state and output feedback

Abstract—This paper deals with the global asymptotic stabilization problem for a class of bilinear systems. A state feedback controller solving this problem is obtained uniting a local controller, having an interesting behavior in a neighborhood of the origin, and a constant controller valid outside this neighborhood. The approach developed is based on the use of a hybrid loop, and more precise...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 1994